\documentclass{article}
\usepackage{amsmath,amssymb,fouriernc,parskip,amsthm}
\usepackage{hyperref}
\hypersetup{
  citecolor=red,
  colorlinks=true
}
\title{Floating Point}
\date{}
\author{}
\begin{document}
\theoremstyle{definition}
\newtheorem{thm}{Theorem}[section]
\newtheorem{lem}[thm]{Lemma}
\newtheorem{defn}[thm]{Definition}

\maketitle

Fix a valid floating point format $fmt$, and let $Float$ be the set of all 
floating point numbers in this format (i.e., the set of all real numbers 
$x$ for which $is\_float(fmt,x)$ is true).

\section{Rounding}


